大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 NATO Advanced Research Workshop on Numerical Integration: Recent Developments 的图书(共6955本)

Property Testing [electronic resource] : Current Research and Surveys

0
索取号：
作者：Goldreich、 Oded.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Microsystems for Automotive Applications 2010 [electronic resource] : Smart Systems for Green Cars and Safe Mobility

0
索取号：
作者：Meyer、 Gereon.、Valldorf、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Knowledge Management, Information Systems, E-Learning, and Sustainability Research [electronic resource] : Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part I

0
索取号：
作者：Lytras、 Miltiadis D.、Ordonez De Pablos、 Patricia.、Ziderman、 Adrian.、Roulstone、 Alan.、Maurer、 Hermann.、Imber、 Jonathan B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

0
索取号：
作者：脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Business Process Modeling Notation [electronic resource] : Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings

0
索取号：
作者：Mendling、 Jan.、Weidlich、 Matthias.、Weske、 Mathias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、Karsai、 Gabor.、Lee、 Edward.、Rumpe、 Bernhard.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Financial Market Integration and Growth [electronic resource] : Structural Change and Economic Dynamics in the European Union

0
索取号：
作者：Welfens、 Paul J.J.、Ryan、 Cillian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

0
索取号：
作者：Min、 Sang Lyul.、Pettit、 Robert.、Puschner、 Peter.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Spoken Dialogue Systems for Ambient Environments [electronic resource] : Second International Workshop on Spoken Dialogue Systems Technology, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings

0
索取号：
作者：Lee、 Gary Geunbae.、Mariani、 Joseph.、Minker、 Wolfgang.、Nakamura、 Satoshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Creating Balance? [electronic resource] : International Perspectives on the Work-Life Integration of Professionals

0
索取号：
作者：Kaiser、 Stephan.、Ringlstetter、 Max Josef.、Eikhof、 Doris Ruth.、Pina e Cunha、 Miguel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings

0
索取号：
作者：Tannier、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

0
索取号：
作者：Pol、 Jaco.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Perspectives in Business Informatics Research [electronic resource] : 9th International Conference, BIR 2010, Rostock Germany, September 29鈥揙ctober 1, 2010. Proceedings

0
索取号：
作者：Forbrig、 Peter.、G眉nther、 Horst.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advanced Computational Intelligence Paradigms in Healthcare 5 [electronic resource] : Intelligent Decision Support Systems

0
索取号：
作者：Brahnam、 Sheryl.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

0
索取号：
作者：Armando、 Alessandro.、Lowe、 Gavin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hybrid Metaheuristics [electronic resource] : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings

0
索取号：
作者：Blesa、 Mar铆a J.、Blum、 Christian.、Raidl、 G眉nther.、Roli、 Andrea.、Sampels、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.